LDRA Testbed ® Code Review Report

Group : PVM-shmd





Overall Result: FAIL





Report Production Report Configuration Analysis phases
  • C/C++ LDRA Testbed Version: 8.1.0
  • Config. File: C:\Testbed_CCPP_810\c\creport.dat
  • Produced On: Thu Sep 03 2009 at 14:35:42
  • Penalty File: C:\Testbed_CCPP_810\c\cpen.dat
  • Report Level: Summary Report
  • Procedures Reported: Fails Only
  • Programming Standards Model: CERT
  • Line Numbers refer to: Original Source File
  • Violation Details: Violations Only
  • Reporting Scope: Full analysis scope
  • Static: Yes
  • Complexity: No
  • Static Data Flow: No
  • Information Flow: No
  • Cross Reference: No


Contents

Overall Quality Summary
Report on Program Components
Key to Terms




Overall Quality Summary



Totals of Violations for Selected Quality Standards

'-' indicates required Analysis Phase results are not yet available.
'Off' indicates that the standard is switched off in the Penalty File (<lang>pen.dat).
'MR'indicates that the standard is Misra Restricted.

Number of Violations LDRA Code (M) Mandatory Standards CERT Code
6
9 S CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
0
20 S CERT DCL31-C
2
30 S CERT EXP30-C,EXP31-C
-
5 D CERT EXP33-C
0
39 S CERT FLP30-C
0
43 S CERT ENV33-C,SIG32-C
0
47 S CERT ARR30-C
0
71 S CERT DCL30-C,MEM36-C
0
86 S CERT ERR31-C
89
93 S CERT INT01-C,INT02-C,INT07-C
24
94 S CERT EXP11-C,EXP36-C,INT11-C
10
98 S CERT EXP37-C
-
17 D CERT DCL32-C
-
19 D CERT EXP37-C
-
20 D CERT DCL31-C,ERR30-C
-
24 D CERT DCL31-C
-
1 X CERT ARR31-C
0
134 S CERT EXP10-C,EXP30-C
-
35 D CERT EXP02-C,EXP10-C,EXP30-C
0
1 Q CERT EXP02-C,EXP10-C,EXP30-C
13
157 S CERT STR05-C,STR30-C
208
170 S CERT DCL07-C,EXP37-C
-
41 D CERT EXP37-C
-
42 D CERT DCL30-C
-
43 D CERT INT32-C,INT33-C
0
248 S CERT INT33-C
-
45 D CERT EXP08-C,EXP34-C
-
49 D CERT FIO42-C
2
326 S CERT DCL31-C
0
344 S CERT EXP32-C
-
51 D CERT MEM30-C
0
355 S CERT DCL32-C
0
403 S CERT INT34-C
1
433 S CERT INT02-C,INT31-C
40
434 S CERT INT02-C,INT31-C,STR34-C
0
442 S CERT INT02-C,FLP33-C
0
443 S CERT INT02-C,FLP33-C
0
444 S CERT FLP33-C
0
456 S CERT MSC31-C
-
57 D CERT EXP33-C
70
476 S CERT ARR30-C
0
480 S CERT DCL33-C
0
483 S CERT MEM34-C
0
484 S CERT MEM31-C
0
487 S CERT MEM35-C
0
489 S CERT DCL33-C,FIO43-C
0
493 S CERT INT32-C
0
494 S CERT INT32-C
98
496 S CERT EXP37-C
-
61 X CERT DCL32-C

Number of Violations LDRA Code (M) Mandatory Standards CERT Code
-
64 X CERT ARR30-C
-
69 D CERT EXP33-C
0
562 S Use of ++,-- or = in macro parameters. CERT PRE31-C
-
75 D CERT FIO31-C
-
68 X CERT DCL00-C
-
69 X CERT ARR30-C
0
573 S Macro concatenation of uni char names. CERT PRE30-C
0
575 S Linkage differs from previous declaration. CERT DCL36-C
0
576 S Function pointer is of wrong type. CERT DCL35-C,EXP08-C


Number of Violations LDRA Code (C) Checking (Mandatory) Standards CERT Code

No Standards have been set as Checking.

Number of Violations LDRA Code (O) Optional Standards CERT Code
0
5 S CERT MSC03-C
50 12 S CERT MSC01-C
9 21 S CERT DCL07-C
-
1 D CERT MSC13-C
-
4 D CERT MSC13-C
-
7 D CERT MSC13-C
-
8 D CERT MSC08-C
-
15 D CERT MSC13-C
2 41 S CERT DCL10-C,DCL11-C
9 44 S CERT DCL03-C,INT06-C
0
50 S CERT INT13-C
1 52 S CERT INT02-C
0
54 S CERT EXP06-C
0
57 S CERT MSC03-C,MSC12-C
1 58 S CERT MSC03-C
1 59 S CERT MSC03-C
0
73 S CERT INT12-C
5 79 S CERT PRE03-C
0
81 S CERT PRE07-C
0
85 S CERT INT09-C
34 95 S CERT EXP11-C
0
99 S CERT MSC02-C
1 101 S CERT INT02-C
-
27 D CERT DCL15-C
6 113 S CERT MSC09-C
36 77 S CERT PRE02-C
2 78 S CERT PRE01-C,PRE02-C
34 96 S CERT INT02-C
0
115 S CERT STR03-C
0
119 S CERT MSC04-C
10 120 S CERT INT13-C
0
125 S CERT PRE05-C
0
131 S CERT DCL01-C
4 132 S CERT MSC02-C
0
133 S CERT EXP02-C
17 135 S CERT DCL07-C
0
139 S CERT MSC07-C
0
140 S CERT MSC07-C
0
176 S CERT MSC10-C
56 177 S CERT DCL04-C
84 200 S CERT DCL00-C
264 201 S CERT DCL06-C,EXP07-C,EXP09-C
0
203 S CERT EXP05-C
0
218 S CERT PRE04-C
5 243 S CERT PRE06-C
134 273 S CERT PRE03-C
0
299 S CERT DCL05-C
1 1 J CERT MSC07-C
30 302 S CERT MSC04-C
0
329 S CERT INT07-C

Number of Violations LDRA Code (O) Optional Standards CERT Code
11 331 S CERT INT13-C
0
332 S CERT INT02-C
0
334 S CERT INT02-C
2 340 S CERT PRE00-C
0
352 S CERT DCL12-C
-
50 D CERT MEM00-C
10 361 S CERT EXP00-C
0
376 S CERT MSC10-C
4 381 S CERT DCL05-C
12 382 S CERT EXP12-C
-
53 D CERT EXP08-C
0
387 S CERT DCL08-C
20 400 S CERT EXP03-C
0
401 S CERT ARR00-C
0
406 S CERT EXP02-C
-
54 D CERT EXP08-C
0
408 S CERT EXP02-C
0
432 S CERT INT07-C
0
438 S CERT EXP08-C
0
439 S CERT INT15-C
3 440 S CERT INT15-C
0
446 S CERT INT02-C
0
452 S CERT INT02-C
0
457 S CERT INT02-C
4 458 S CERT INT02-C,INT07-C
1 486 S CERT FIO00-C
2 488 S CERT INT08-C
0
491 S CERT INT02-C
-
61 D CERT DCL15-C
-
62 D CERT DCL13-C
0
515 S CERT DCL04-C
-
65 D CERT MSC12-C
-
70 D CERT MSC12-C
0
553 S Function and proto should both be static. CERT DCL15-C
-
72 D CERT EXP10-C
-
67 X CERT DCL02-C
-
74 D CERT EXP10-C
0
568 S #include "filename" uses standard library name. CERT PRE04-C
0
577 S Sizeof argument is a pointer. CERT EXP01-C
6 578 S Sizeof used in arithmetic expression. CERT EXP03-C
-
78 D CERT DCL00-C
8 584 S Remainder of % op could be negative. CERT INT10-C
3 585 S Bitwise and arith operations on same data. CERT INT14-C
0
586 S Format is not %j for user defined type. CERT INT15-C


Number of Mandatory Standards checked 39
Number of Checking Standards checked 0
Number of Optional Standards checked 77
Total Standards checked 116





OVERALL RESULT: FAIL


Out of 30 program components, 1 (3.33 %) passes ( of which 1 conditionally passes ) and 29 fail ( of which 0 fail only because of insufficient comments )

Procedure Results

Quality Result   Procedure   Source File   Unique Violations    
           
Conditional Pass Global Program
FAIL initblocks block.c 2 -
FAIL getblocks block.c 3 -
FAIL freeblock_by_id block.c 3 -
FAIL freeblock block.c 4 -
FAIL blockmap block.c 2 -
FAIL main pvm_shmd.c 9 -
FAIL get_max_seg_size pvm_shmd.c 3 -
FAIL create_segments pvm_shmd.c 6 -
FAIL clean_segs pvm_shmd.c 2 -
FAIL register_shmd pvm_shmd.c 3 -
FAIL make_mqueue pvm_shmd.c 3 -
FAIL del_mqueue pvm_shmd.c 3 -
FAIL huphuphup pvm_shmd.c 1 -
FAIL bambismother pvm_shmd.c 1 -
FAIL main pvm_shmd_stat.c 3 -
FAIL get_sem sem.c 2 -
FAIL lock_sem sem.c 1 -
FAIL sem_is sem.c 1 -
FAIL unlock_sem sem.c 1 -
FAIL unlock_sem_forced sem.c 1 -
FAIL init_sem sem.c 4 -
FAIL del_sem sem.c 1 -
FAIL shmd_pvm_psend sendrecv.c 8 -
FAIL shmd_pvm_precv sendrecv.c 8 -
FAIL shm_attach sendrecv.c 6 -
FAIL init_tidinfo tidinfo.c 5 -
FAIL add_tidinfo tidinfo.c 4 -
FAIL remove_tidinfo tidinfo.c 3 -
FAIL find_tidinfo_id tidinfo.c 6 -


Global Information

Source Files in Group

Name Last Modification Date
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\tidinfo.c Thu Mar 04 15:03:48 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\sendrecv.c Fri Mar 12 13:22:19 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\sem.c Tue Sep 25 10:07:33 2001
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\pvm_shmd_stat.c Thu Mar 04 14:30:52 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\pvm_shmd.c Fri Mar 12 13:22:39 1999
D:\Code\SAMATE\SATE2009\sate2009_C_test_cases\c\pvm\pvm3\shmd\block.c Thu Mar 04 14:30:49 1999



Global Basic Information

Number of procedures: 29
Number of locally uncalled procedures: 2
Number of reformatted executable lines: 1756
Number of lines of comments: 1202


Summary Report on all Program Components



Globals / code outside procedures - Conditional Pass

Standards Violation Summary - All files

Code File: Src Line Violation Standard
O block.c: 3 Non standard character $ in source. CERT MSC09-C
O block.c: 7 Included file not protected with #define. CERT PRE06-C
O shmd.h: 18 Found #define. CERT PRE03-C
O shmd.h: 18 Define used for numeric constant. CERT DCL00-C
O shmd.h: 27 Found #define. CERT PRE03-C
O shmd.h: 27 Define used for numeric constant. CERT DCL00-C
O block.c: 9 Comment possibly contains code CERT MSC04-C
O block.c: 10 Comment possibly contains code CERT MSC04-C
O block.c: 11 Comment possibly contains code CERT MSC04-C
O pvm_shmd.c: 3 Non standard character $ in source. CERT MSC09-C
O pvm_shmd.c: 20 Included file not protected with #define. CERT PRE06-C
O pvm_shmd.c: 39 Found #define. CERT PRE03-C
O pvm_shmd.c: 39 Macro replacement list needs parentheses. CERT PRE02-C
O pvm_shmd.c: 42 Found #define. CERT PRE03-C
O pvm_shmd.c: 42 Define used for numeric constant. CERT DCL00-C
O pvm_shmd_stat.c: 3 Non standard character $ in source. CERT MSC09-C
O pvm3.h: 289 Found #define. CERT PRE03-C
O pvm3.h: 295 Found #define. CERT PRE03-C
O pvm3.h: 296 Found #define. CERT PRE03-C
O pvm3.h: 296 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 297 Found #define. CERT PRE03-C
O pvm3.h: 297 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 298 Found #define. CERT PRE03-C
O pvm3.h: 298 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 312 Found #define. CERT PRE03-C
O pvm3.h: 312 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 313 Found #define. CERT PRE03-C
O pvm3.h: 313 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 314 Found #define. CERT PRE03-C
O pvm3.h: 314 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 315 Found #define. CERT PRE03-C
O pvm3.h: 315 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 316 Found #define. CERT PRE03-C
O pvm3.h: 316 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 322 Found #define. CERT PRE03-C
O pvm3.h: 322 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 323 Found #define. CERT PRE03-C
O pvm3.h: 323 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 324 Found #define. CERT PRE03-C
O pvm3.h: 324 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 325 Found #define. CERT PRE03-C
O pvm3.h: 325 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 326 Found #define. CERT PRE03-C
O pvm3.h: 326 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 328 Found #define. CERT PRE03-C
O pvm3.h: 328 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 329 Found #define. CERT PRE03-C
O pvm3.h: 329 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 331 Found #define. CERT PRE03-C
O pvm3.h: 331 Define used for numeric constant. CERT DCL00-C

Code File: Src Line Violation Standard
O pvm3.h: 337 Found #define. CERT PRE03-C
O pvm3.h: 337 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 338 Found #define. CERT PRE03-C
O pvm3.h: 338 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 339 Found #define. CERT PRE03-C
O pvm3.h: 339 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 340 Found #define. CERT PRE03-C
O pvm3.h: 340 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 341 Found #define. CERT PRE03-C
O pvm3.h: 341 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 345 Found #define. CERT PRE03-C
O pvm3.h: 345 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 351 Found #define. CERT PRE03-C
O pvm3.h: 351 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 352 Found #define. CERT PRE03-C
O pvm3.h: 352 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 353 Found #define. CERT PRE03-C
O pvm3.h: 353 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 354 Found #define. CERT PRE03-C
O pvm3.h: 354 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 355 Found #define. CERT PRE03-C
O pvm3.h: 355 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 356 Found #define. CERT PRE03-C
O pvm3.h: 356 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 357 Found #define. CERT PRE03-C
O pvm3.h: 357 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 358 Found #define. CERT PRE03-C
O pvm3.h: 358 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 359 Found #define. CERT PRE03-C
O pvm3.h: 359 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 360 Found #define. CERT PRE03-C
O pvm3.h: 360 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 361 Found #define. CERT PRE03-C
O pvm3.h: 361 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 362 Found #define. CERT PRE03-C
O pvm3.h: 362 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 363 Found #define. CERT PRE03-C
O pvm3.h: 363 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 364 Found #define. CERT PRE03-C
O pvm3.h: 364 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 365 Found #define. CERT PRE03-C
O pvm3.h: 365 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 366 Found #define. CERT PRE03-C
O pvm3.h: 366 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 367 Found #define. CERT PRE03-C
O pvm3.h: 367 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 368 Found #define. CERT PRE03-C
O pvm3.h: 368 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 369 Found #define. CERT PRE03-C
O pvm3.h: 369 Define used for numeric constant. CERT DCL00-C

Code File: Src Line Violation Standard
O pvm3.h: 370 Found #define. CERT PRE03-C
O pvm3.h: 370 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 371 Found #define. CERT PRE03-C
O pvm3.h: 371 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 372 Found #define. CERT PRE03-C
O pvm3.h: 372 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 373 Found #define. CERT PRE03-C
O pvm3.h: 373 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 374 Found #define. CERT PRE03-C
O pvm3.h: 374 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 375 Found #define. CERT PRE03-C
O pvm3.h: 375 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 376 Found #define. CERT PRE03-C
O pvm3.h: 376 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 377 Found #define. CERT PRE03-C
O pvm3.h: 377 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 378 Found #define. CERT PRE03-C
O pvm3.h: 378 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 379 Found #define. CERT PRE03-C
O pvm3.h: 379 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 380 Found #define. CERT PRE03-C
O pvm3.h: 380 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 381 Found #define. CERT PRE03-C
O pvm3.h: 381 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 382 Found #define. CERT PRE03-C
O pvm3.h: 382 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 383 Found #define. CERT PRE03-C
O pvm3.h: 383 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 389 Found #define. CERT PRE03-C
O pvm3.h: 389 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 390 Found #define. CERT PRE03-C
O pvm3.h: 390 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 396 Found #define. CERT PRE03-C
O pvm3.h: 396 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 402 Found #define. CERT PRE03-C
O pvm3.h: 402 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 405 Found #define. CERT PRE03-C
O pvm3.h: 405 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 406 Found #define. CERT PRE03-C
O pvm3.h: 406 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 407 Found #define. CERT PRE03-C
O pvm3.h: 407 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 408 Found #define. CERT PRE03-C
O pvm3.h: 408 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 409 Found #define. CERT PRE03-C
O pvm3.h: 409 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 411 Found #define. CERT PRE03-C
O pvm3.h: 411 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 412 Found #define. CERT PRE03-C
O pvm3.h: 412 Define used for numeric constant. CERT DCL00-C

Code File: Src Line Violation Standard
O pvm3.h: 414 Found #define. CERT PRE03-C
O pvm3.h: 414 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 416 Found #define. CERT PRE03-C
O pvm3.h: 416 Literal value requires a U suffix. CERT INT13-C
O pvm3.h: 416 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 419 Found #define. CERT PRE03-C
O pvm3.h: 419 Use of function like macro. CERT PRE00-C
O pvm3.h: 424 Found #define. CERT PRE03-C
O pvm3.h: 428 Use of function like macro. CERT PRE00-C
O pvm3.h: 424 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 434 Found #define. CERT PRE03-C
O pvm3.h: 436 Found #define. CERT PRE03-C
O pvm3.h: 438 Found #define. CERT PRE03-C
O pvm3.h: 440 Found #define. CERT PRE03-C
O pvm3.h: 442 Found #define. CERT PRE03-C
O pvm3.h: 448 Found #define. CERT PRE03-C
O pvm3.h: 448 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 449 Found #define. CERT PRE03-C
O pvm3.h: 449 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 450 Found #define. CERT PRE03-C
O pvm3.h: 450 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 451 Found #define. CERT PRE03-C
O pvm3.h: 451 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 452 Found #define. CERT PRE03-C
O pvm3.h: 452 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 453 Found #define. CERT PRE03-C
O pvm3.h: 453 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 454 Found #define. CERT PRE03-C
O pvm3.h: 454 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 455 Found #define. CERT PRE03-C
O pvm3.h: 455 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 456 Found #define. CERT PRE03-C
O pvm3.h: 456 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 457 Found #define. CERT PRE03-C
O pvm3.h: 457 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 458 Found #define. CERT PRE03-C
O pvm3.h: 458 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 459 Found #define. CERT PRE03-C
O pvm3.h: 459 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 460 Found #define. CERT PRE03-C
O pvm3.h: 460 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 461 Found #define. CERT PRE03-C
O pvm3.h: 461 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 462 Found #define. CERT PRE03-C
O pvm3.h: 462 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 463 Found #define. CERT PRE03-C
O pvm3.h: 463 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 464 Found #define. CERT PRE03-C
O pvm3.h: 464 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 465 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 465 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 466 Found #define. CERT PRE03-C
O pvm3.h: 466 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 467 Found #define. CERT PRE03-C
O pvm3.h: 467 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 468 Found #define. CERT PRE03-C
O pvm3.h: 468 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 469 Found #define. CERT PRE03-C
O pvm3.h: 469 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 470 Found #define. CERT PRE03-C
O pvm3.h: 470 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 471 Found #define. CERT PRE03-C
O pvm3.h: 471 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 472 Found #define. CERT PRE03-C
O pvm3.h: 472 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 473 Found #define. CERT PRE03-C
O pvm3.h: 473 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 474 Found #define. CERT PRE03-C
O pvm3.h: 474 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 475 Found #define. CERT PRE03-C
O pvm3.h: 475 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 476 Found #define. CERT PRE03-C
O pvm3.h: 476 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 477 Found #define. CERT PRE03-C
O pvm3.h: 477 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 478 Found #define. CERT PRE03-C
O pvm3.h: 478 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 479 Found #define. CERT PRE03-C
O pvm3.h: 479 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 480 Found #define. CERT PRE03-C
O pvm3.h: 480 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 485 Found #define. CERT PRE03-C
O pvm3.h: 485 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 486 Found #define. CERT PRE03-C
O pvm3.h: 486 Macro contains unacceptable items CERT PRE03-C
O pvm3.h: 492 Found #define. CERT PRE03-C
O pvm3.h: 492 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 493 Found #define. CERT PRE03-C
O pvm3.h: 493 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 494 Found #define. CERT PRE03-C
O pvm3.h: 494 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 495 Found #define. CERT PRE03-C
O pvm3.h: 495 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 496 Found #define. CERT PRE03-C
O pvm3.h: 496 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 497 Found #define. CERT PRE03-C
O pvm3.h: 497 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 498 Found #define. CERT PRE03-C
O pvm3.h: 498 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 499 Found #define. CERT PRE03-C

Code File: Src Line Violation Standard
O pvm3.h: 499 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 500 Found #define. CERT PRE03-C
O pvm3.h: 500 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 501 Found #define. CERT PRE03-C
O pvm3.h: 501 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 502 Found #define. CERT PRE03-C
O pvm3.h: 502 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 503 Found #define. CERT PRE03-C
O pvm3.h: 503 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 509 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 521 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 534 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 549 Enum, struct or union not typedeffed. CERT DCL05-C
O pvm3.h: 564 Found #define. CERT PRE03-C
O pvm3.h: 567 Found #define. CERT PRE03-C
O pvm3.h: 567 Macro parameter not in brackets. CERT PRE01-C,PRE02-C
O pvm3.h: 567 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 571 Found #define. CERT PRE03-C
O pvm3.h: 571 Define used for numeric constant. CERT DCL00-C
O pvm3.h: 584 Found #define. CERT PRE03-C
O pvm3.h: 584 Macro parameter not in brackets. CERT PRE01-C,PRE02-C
O pvm3.h: 584 Macro replacement list needs parentheses. CERT PRE02-C
O pvm3.h: 648 Ellipsis used in procedure parameter list. CERT DCL10-C,DCL11-C
O pvm3.h: 677 Number of parameters does not match. CERT DCL07-C
O pvm3.h: 719 Ellipsis used in procedure parameter list. CERT DCL10-C,DCL11-C
O pvm_shmd_stat.c: 6 Included file not protected with #define. CERT PRE06-C
O pvm_shmd_stat.c: 12 Found #define. CERT PRE03-C
O pvm_shmd_stat.c: 12 Define used for numeric constant. CERT DCL00-C
O sem.c: 3 Non standard character $ in source. CERT MSC09-C
O sendrecv.c: 3 Non standard character $ in source. CERT MSC09-C
O sendrecv.c: 20 Included file not protected with #define. CERT PRE06-C
O sendrecv.c: 25 Found #define. CERT PRE03-C
O sendrecv.c: 25 Macro replacement list needs parentheses. CERT PRE02-C
O tidinfo.c: 3 Non standard character $ in source. CERT MSC09-C
O tidinfo.c: 5 Included file not protected with #define. CERT PRE06-C

[ Top of Report | Key to Terms | Procedure Table | Contents ]





initblocks
(14 to 51 block.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 47 Array index not unsigned. CERT ARR30-C
M 47 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





getblocks
(55 to 111 block.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 67 Array index not unsigned. CERT ARR30-C
M 67 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 70 Array index not unsigned. CERT ARR30-C
M 70 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ j CERT INT01-C,INT02-C,INT07-C
M 74 Signed/unsigned conversion without cast. : unsigned int int blkptr -> totalallocated += size CERT INT02-C,INT31-C,STR34-C
M 76 Signed/unsigned conversion without cast. : unsigned int int blkptr -> highestutilised = ( blkptr -> npages - blkptr -> pagesfree CERT INT02-C,INT31-C,STR34-C
M 77 Signed/unsigned conversion without cast. : unsigned int int blkptr -> largestused CERT INT02-C,INT31-C,STR34-C
M 77 Signed/unsigned conversion without cast. : unsigned int int blkptr -> largestused < size CERT INT02-C,INT31-C,STR34-C
M 77 Signed/unsigned conversion without cast. : unsigned int int blkptr -> largestused = size CERT INT02-C,INT31-C,STR34-C
M 95 Array index not unsigned. CERT ARR30-C
M 95 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 98 Array index not unsigned. CERT ARR30-C
M 98 Value is not of appropriate type. : unsigned int int blkptr -> jumpsaved += ( blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 98 Signed/unsigned conversion without cast. : unsigned int int blkptr -> jumpsaved += ( blkptr -> pagemap [ i ] CERT INT02-C,INT31-C,STR34-C
M 99 Array index not unsigned. CERT ARR30-C
M 99 Value is not of appropriate type. : unsigned int int i += ( blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





freeblock_by_id
(113 to 173 block.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 138 Array index not unsigned. CERT ARR30-C
M 138 Value is not of appropriate type. : unsigned int int ( blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 144 Array index not unsigned. CERT ARR30-C
M 144 Value is not of appropriate type. : unsigned int int ( blkptr -> pagemap [ i + j CERT INT01-C,INT02-C,INT07-C
M 150 function call with no prior declaration. CERT EXP37-C
M 153 Array index not unsigned. CERT ARR30-C
M 153 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 154 Array index not unsigned. CERT ARR30-C
M 154 Value is not of appropriate type. : unsigned int int blkptr -> jumpsaved += ( blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 154 Signed/unsigned conversion without cast. : unsigned int int blkptr -> jumpsaved += ( blkptr -> pagemap [ i ] CERT INT02-C,INT31-C,STR34-C
M 155 Array index not unsigned. CERT ARR30-C
M 155 Value is not of appropriate type. : unsigned int int i += ( blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





freeblock
(177 to 279 block.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 194 Array index not unsigned. CERT ARR30-C
M 194 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ where CERT INT01-C,INT02-C,INT07-C
M 195 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 204 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 218 Array index not unsigned. CERT ARR30-C
M 218 Value is not of appropriate type. : unsigned int int ( blkptr -> pagemap [ last CERT INT01-C,INT02-C,INT07-C
M 219 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 230 Array index not unsigned. CERT ARR30-C
M 230 Value is not of appropriate type. : unsigned int int after = blkptr -> pagemap [ last + 1 CERT INT01-C,INT02-C,INT07-C
M 241 Array index not unsigned. CERT ARR30-C
M 241 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 241 Deprecated usage of ++ or -- operators found. CERT EXP30-C,EXP31-C
M 241 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 251 Array index not unsigned. CERT ARR30-C
M 251 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ j CERT INT01-C,INT02-C,INT07-C
M 251 Array index not unsigned. CERT ARR30-C
M 251 Value is not of appropriate type. : unsigned int int blkptr -> pagemap [ j CERT INT01-C,INT02-C,INT07-C
M 251 Deprecated usage of ++ or -- operators found. CERT EXP30-C,EXP31-C
M 251 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 264 Array index not unsigned. CERT ARR30-C
M 264 Value is not of appropriate type. : unsigned int int blkptr -> largestblockfree < blkptr -> pagemap [ j + 1 CERT INT01-C,INT02-C,INT07-C
M 265 Array index not unsigned. CERT ARR30-C
M 265 Value is not of appropriate type. : unsigned int int blkptr -> largestblockfree = blkptr -> pagemap [ j + 1 CERT INT01-C,INT02-C,INT07-C
M 272 Signed/unsigned conversion without cast. : unsigned int int blkptr -> totalfreed += size CERT INT02-C,INT31-C,STR34-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





blockmap
(281 to 305 block.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 291 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 292 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 292 Array index not unsigned. CERT ARR30-C
M 292 Value is not of appropriate type. : unsigned int int printf ( "%3d\t" , blkptr -> pagemap [ i CERT INT01-C,INT02-C,INT07-C
M 293 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 294 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 295 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 296 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 297 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 298 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 299 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 300 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(54 to 329 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 54 Declaration is missing type. CERT DCL31-C
M 81 function call with no prior declaration. CERT EXP37-C
M 81 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 83 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 87 function call with no prior declaration. CERT EXP37-C
M 88 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 95 Value is not of appropriate type. : unsigned char unsigned shorto1 = ( size_t ) ( 16 CERT INT01-C,INT02-C,INT07-C
M 98 function call with no prior declaration. CERT EXP37-C
M 98 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 101 Signed/unsigned conversion without cast. : unsigned int int pagesize ) + 1 CERT INT02-C,INT31-C,STR34-C
M 104 function call with no prior declaration. CERT EXP37-C
M 104 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 111 Signed/unsigned conversion without cast. : unsigned int int numsegs CERT INT02-C,INT31-C,STR34-C
M 112 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 113 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 118 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 119 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 119 Array index not unsigned. CERT ARR30-C
M 119 Value is not of appropriate type. : unsigned int int printf ( "Base addresses are [0x%x]\n" , segptrs [ i CERT INT01-C,INT02-C,INT07-C
M 125 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 126 function call with no prior declaration. CERT EXP37-C
M 126 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 129 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 133 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 133 Signed/unsigned conversion without cast. : int unsigned int ( blockinfo_t * ) addr ) -> nextoffset = bsizepb CERT INT02-C,INT31-C,STR34-C
M 135 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 135 Value is not of appropriate type. : unsigned int signed char ( blockinfo_t * ) addr ) -> previousoffset = ( numsegs CERT INT01-C,INT02-C,INT07-C
M 138 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 140 Modification of string literal. CERT STR05-C,STR30-C
M 141 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 142 Array index not unsigned. CERT ARR30-C
M 142 Value is not of appropriate type. : unsigned int int pages [ i CERT INT01-C,INT02-C,INT07-C
M 142 function call with no prior declaration. CERT EXP37-C
M 142 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 143 Array index not unsigned. CERT ARR30-C
M 143 Value is not of appropriate type. : unsigned int int pagesize ) , 0x4000 + i , keys [ i CERT INT01-C,INT02-C,INT07-C
M 143 Value is not of appropriate type. : unsigned int int pagesize ) , 0x4000 + i , keys [ i ] , semid , shmids [ i CERT INT01-C,INT02-C,INT07-C
M 144 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 148 Value is not of appropriate type. : unsigned int signed char i < ( numsegs CERT INT01-C,INT02-C,INT07-C
M 149 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 149 Signed/unsigned conversion without cast. : int unsigned int ( blockinfo_t * ) addr ) -> nextoffset = bsizepb CERT INT02-C,INT31-C,STR34-C
M 151 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 151 Value is not of appropriate type. : unsigned int signed char ( numsegs CERT INT01-C,INT02-C,INT07-C
M 153 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 158 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 159 Modification of string literal. CERT STR05-C,STR30-C
M 160 Signed/unsigned conversion without cast. : int unsigned int i <= numsegs CERT INT02-C,INT31-C,STR34-C
M 161 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 161 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 162 Modification of string literal. CERT STR05-C,STR30-C

Code Line Violation Standard
M 162 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 164 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 167 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 168 Modification of string literal. CERT STR05-C,STR30-C
M 169 Signed/unsigned conversion without cast. : int unsigned int i <= numsegs CERT INT02-C,INT31-C,STR34-C
M 170 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 170 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 171 Modification of string literal. CERT STR05-C,STR30-C
M 171 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 173 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 178 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 179 Modification of string literal. CERT STR05-C,STR30-C
M 180 Array index not unsigned. CERT ARR30-C
M 180 Value is not of appropriate type. : unsigned int int pages [ i CERT INT01-C,INT02-C,INT07-C
M 180 function call with no prior declaration. CERT EXP37-C
M 180 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 186 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 188 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 189 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 189 Array index not unsigned. CERT ARR30-C
M 189 Value is not of appropriate type. : unsigned int int printf ( "seg[%d]:[%d]\t" , i , pages [ i CERT INT01-C,INT02-C,INT07-C
M 190 Signed/unsigned conversion without cast. : unsigned int int totalmem += pages CERT INT02-C,INT31-C,STR34-C
M 190 Array index not unsigned. CERT ARR30-C
M 190 Value is not of appropriate type. : unsigned int int totalmem += pages [ i CERT INT01-C,INT02-C,INT07-C
M 192 Signed/unsigned conversion without cast. : unsigned int int 1024 CERT INT02-C,INT31-C,STR34-C
M 195 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 199 Value is not of appropriate type. : unsigned char unsigned short( char * ) segptrs [ 0 ] , ( 16 CERT INT01-C,INT02-C,INT07-C
M 209 function call with no prior declaration. CERT EXP37-C
M 210 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 217 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 219 function call with no prior declaration. CERT EXP37-C
M 219 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 221 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 225 function call with no prior declaration. CERT EXP37-C
M 225 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 226 function call with no prior declaration. CERT EXP37-C
M 226 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 232 function call with no prior declaration. CERT EXP37-C
M 232 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 233 function call with no prior declaration. CERT EXP37-C
M 233 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 234 function call with no prior declaration. CERT EXP37-C
M 234 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 235 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 243 function call with no prior declaration. CERT EXP37-C
M 243 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 244 function call with no prior declaration. CERT EXP37-C
M 244 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 245 function call with no prior declaration. CERT EXP37-C
M 245 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C

Code Line Violation Standard
M 246 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 253 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 254 function call with no prior declaration. CERT EXP37-C
M 254 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 255 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 256 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 259 function call with no prior declaration. CERT EXP37-C
M 259 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 260 function call with no prior declaration. CERT EXP37-C
M 260 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 261 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 263 function call with no prior declaration. CERT EXP37-C
M 263 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 264 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 266 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 274 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 278 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 279 Modification of string literal. CERT STR05-C,STR30-C
M 280 Array index not unsigned. CERT ARR30-C
M 280 Value is not of appropriate type. : unsigned int int pages [ i CERT INT01-C,INT02-C,INT07-C
M 280 function call with no prior declaration. CERT EXP37-C
M 280 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 287 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 288 Modification of string literal. CERT STR05-C,STR30-C
M 289 Array index not unsigned. CERT ARR30-C
M 289 Value is not of appropriate type. : unsigned int int pages [ i CERT INT01-C,INT02-C,INT07-C
M 289 function call with no prior declaration. CERT EXP37-C
M 289 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 294 function call with no prior declaration. CERT EXP37-C
M 294 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 298 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 301 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 306 Signed/unsigned conversion without cast. : int unsigned int i < numsegs CERT INT02-C,INT31-C,STR34-C
M 307 Modification of string literal. CERT STR05-C,STR30-C
M 308 Array index not unsigned. CERT ARR30-C
M 308 Value is not of appropriate type. : unsigned int int pages [ i CERT INT01-C,INT02-C,INT07-C
M 308 function call with no prior declaration. CERT EXP37-C
M 308 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 317 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 319 function call with no prior declaration. CERT EXP37-C
M 319 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 327 function call with no prior declaration. CERT EXP37-C
M 327 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 87 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 297 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 273 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 240 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 199 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 139 Actual and formal parameters inconsistent (MR). CERT EXP37-C
M 123 Actual and formal parameters inconsistent (MR). CERT EXP37-C

Code Line Violation Standard


[ Top of Report | Key to Terms | Procedure Table | Contents ]





get_max_seg_size
(335 to 369 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 349 function call with no prior declaration. CERT EXP37-C
M 349 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 360 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 361 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 366 function call with no prior declaration. CERT EXP37-C
M 366 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





create_segments
(371 to 453 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 389 Signed/unsigned conversion without cast. : int unsigned int i CERT INT02-C,INT31-C,STR34-C
M 389 Signed/unsigned conversion without cast. : int unsigned int i < maxsegs CERT INT02-C,INT31-C,STR34-C
M 389 Array index not unsigned. CERT ARR30-C
M 389 Value is not of appropriate type. : unsigned int int keys [ i CERT INT01-C,INT02-C,INT07-C
M 389 Array index not unsigned. CERT ARR30-C
M 389 Value is not of appropriate type. : unsigned int int shmids [ i CERT INT01-C,INT02-C,INT07-C
M 389 Array index not unsigned. CERT ARR30-C
M 389 Value is not of appropriate type. : unsigned int int segptrs [ i CERT INT01-C,INT02-C,INT07-C
M 389 Value is not of appropriate type. : void segptrs [ i ] = ( void * CERT INT01-C,INT02-C,INT07-C
M 393 Signed/unsigned conversion without cast. : int unsigned int c CERT INT02-C,INT31-C,STR34-C
M 393 Signed/unsigned conversion without cast. : int unsigned int c < maxsegs CERT INT02-C,INT31-C,STR34-C
M 394 Array index not unsigned. CERT ARR30-C
M 394 Value is not of appropriate type. : unsigned int int keys [ c CERT INT01-C,INT02-C,INT07-C
M 398 Array index not unsigned. CERT ARR30-C
M 398 Value is not of appropriate type. : unsigned int int shmids [ c CERT INT01-C,INT02-C,INT07-C
M 398 function call with no prior declaration. CERT EXP37-C
M 398 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 398 Value is not of appropriate type. : unsigned int int shmids [ c ] = shmget ( keys [ c CERT INT01-C,INT02-C,INT07-C
M 399 Array index not unsigned. CERT ARR30-C
M 399 Value is not of appropriate type. : unsigned int int ( int ) shmids [ c CERT INT01-C,INT02-C,INT07-C
M 400 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 408 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 418 Array index not unsigned. CERT ARR30-C
M 418 Value is not of appropriate type. : unsigned int int segptrs [ v CERT INT01-C,INT02-C,INT07-C
M 418 function call with no prior declaration. CERT EXP37-C
M 418 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 418 Value is not of appropriate type. : unsigned int int segptrs [ v ] = shmat ( shmids [ v CERT INT01-C,INT02-C,INT07-C
M 420 Array index not unsigned. CERT ARR30-C
M 420 Value is not of appropriate type. : unsigned int int segptrs [ v CERT INT01-C,INT02-C,INT07-C
M 420 Value is not of appropriate type. : bool signed char segptrs [ v ] == ( void * ) CERT INT01-C,INT02-C,INT07-C
M 421 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 422 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 422 Array index not unsigned. CERT ARR30-C
M 422 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "shmat error code [%d]\n" , segptrs [ v CERT INT01-C,INT02-C,INT07-C
M 423 Array index not unsigned. CERT ARR30-C
M 423 Value is not of appropriate type. : unsigned int int segptrs [ v CERT INT01-C,INT02-C,INT07-C
M 423 Value is not of appropriate type. : void segptrs [ v ] = ( void * CERT INT01-C,INT02-C,INT07-C
M 440 Array index not unsigned. CERT ARR30-C
M 440 Value is not of appropriate type. : unsigned int int ! segptrs [ i CERT INT01-C,INT02-C,INT07-C
M 441 function call with no prior declaration. CERT EXP37-C
M 441 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 441 Array index not unsigned. CERT ARR30-C
M 441 Value is not of appropriate type. : unsigned int int shmctl ( shmids [ i CERT INT01-C,INT02-C,INT07-C
M 443 function call with no prior declaration. CERT EXP37-C
M 443 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 443 Array index not unsigned. CERT ARR30-C
M 443 Value is not of appropriate type. : unsigned int int suc = shmctl ( shmids [ i CERT INT01-C,INT02-C,INT07-C
M 444 Array index not unsigned. CERT ARR30-C
M 444 Value is not of appropriate type. : unsigned int int shmids [ i CERT INT01-C,INT02-C,INT07-C
M 445 Array index not unsigned. CERT ARR30-C

Code Line Violation Standard
M 445 Value is not of appropriate type. : unsigned int int keys [ i CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





clean_segs
(455 to 461 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 459 function call with no prior declaration. CERT EXP37-C
M 459 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 459 Array index not unsigned. CERT ARR30-C
M 459 Value is not of appropriate type. : unsigned int int shmctl ( shmids [ i CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





register_shmd
(464 to 503 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 474 function call with no prior declaration. CERT EXP37-C
M 474 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 475 function call with no prior declaration. CERT EXP37-C
M 475 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 476 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 477 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 479 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 481 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 483 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 488 function call with no prior declaration. CERT EXP37-C
M 488 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 489 function call with no prior declaration. CERT EXP37-C
M 489 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 490 function call with no prior declaration. CERT EXP37-C
M 490 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 491 function call with no prior declaration. CERT EXP37-C
M 491 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 493 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 493 function call with no prior declaration. CERT EXP37-C
M 493 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 495 function call with no prior declaration. CERT EXP37-C
M 495 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 498 function call with no prior declaration. CERT EXP37-C
M 498 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 500 function call with no prior declaration. CERT EXP37-C
M 500 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





make_mqueue
(505 to 534 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 514 function call with no prior declaration. CERT EXP37-C
M 514 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 518 function call with no prior declaration. CERT EXP37-C
M 518 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 527 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





del_mqueue
(537 to 568 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 549 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 551 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 555 function call with no prior declaration. CERT EXP37-C
M 555 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 558 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 563 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 546 Actual and formal parameters inconsistent (MR). CERT EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





huphuphup
(570 to 577 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 572 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 573 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 575 function call with no prior declaration. CERT EXP37-C
M 575 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





bambismother
(579 to 588 pvm_shmd.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 581 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 582 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 584 function call with no prior declaration. CERT EXP37-C
M 584 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





main
(16 to 53 pvm_shmd_stat.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 16 Declaration is missing type. CERT DCL31-C
M 29 function call with no prior declaration. CERT EXP37-C
M 29 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 30 function call with no prior declaration. CERT EXP37-C
M 30 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 31 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 32 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 37 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





get_sem
(27 to 33 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 31 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 31 function call with no prior declaration. CERT EXP37-C
M 31 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 31 function call with no prior declaration. CERT EXP37-C
M 31 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





lock_sem
(36 to 45 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 44 function call with no prior declaration. CERT EXP37-C
M 44 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





sem_is
(47 to 55 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 53 function call with no prior declaration. CERT EXP37-C
M 53 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





unlock_sem
(57 to 65 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 64 function call with no prior declaration. CERT EXP37-C
M 64 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





unlock_sem_forced
(67 to 75 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 74 function call with no prior declaration. CERT EXP37-C
M 74 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





init_sem
(78 to 104 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 82 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 82 function call with no prior declaration. CERT EXP37-C
M 82 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 83 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 89 function call with no prior declaration. CERT EXP37-C
M 89 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 92 Assignment operation in expression. CERT PRE31-C,EXP30-C,EXP31-C,FIO41-C
M 92 function call with no prior declaration. CERT EXP37-C
M 92 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 102 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





del_sem
(106 to 115 sem.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 113 function call with no prior declaration. CERT EXP37-C
M 113 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





shmd_pvm_psend
(55 to 278 sendrecv.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 84 function call with no prior declaration. CERT EXP37-C
M 84 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 94 function call with no prior declaration. CERT EXP37-C
M 95 function call with no prior declaration. CERT EXP37-C
M 95 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 100 function call with no prior declaration. CERT EXP37-C
M 100 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 111 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 111 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 112 function call with no prior declaration. CERT EXP37-C
M 112 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 176 Signed/unsigned conversion without cast. : unsigned int int psize CERT INT02-C,INT31-C,STR34-C
M 190 Signed/unsigned conversion without cast. : unsigned int int pages CERT INT02-C,INT31-C,STR34-C
M 190 Signed/unsigned conversion without cast. : unsigned int int pages > maxpages CERT INT02-C,INT31-C,STR34-C
M 190 function call with no prior declaration. CERT EXP37-C
M 190 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 211 Array index not unsigned. CERT ARR30-C
M 211 Value is not of appropriate type. : unsigned int int blocks [ seg CERT INT01-C,INT02-C,INT07-C
M 211 Signed/unsigned conversion without cast. : int unsigned int blocks [ seg ] -> largestblockfree >= pages CERT INT02-C,INT31-C,STR34-C
M 215 function call with no prior declaration. CERT EXP37-C
M 215 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 215 Array index not unsigned. CERT ARR30-C
M 215 Value is not of appropriate type. : unsigned int int block = getblocks ( blocks [ seg CERT INT01-C,INT02-C,INT07-C
M 227 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 228 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 228 Array index not unsigned. CERT ARR30-C
M 228 Value is not of appropriate type. : unsigned int int fprintf ( stderr , "pages free [%d]\t" , blocks [ j CERT INT01-C,INT02-C,INT07-C
M 229 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 230 function call with no prior declaration. CERT EXP37-C
M 230 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 244 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 244 Array index not unsigned. CERT ARR30-C
M 244 Value is not of appropriate type. : unsigned int int ( char * ) msgblocks [ seg CERT INT01-C,INT02-C,INT07-C
M 256 Value is not of appropriate type. : long long long msg_info.mtype = ( long CERT INT01-C,INT02-C,INT07-C
M 260 Signed/unsigned conversion without cast. : int unsigned int msg_info.pages = pages CERT INT02-C,INT31-C,STR34-C
M 265 function call with no prior declaration. CERT EXP37-C
M 265 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 265 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 108 Actual and formal parameters inconsistent (MR). CERT EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





shmd_pvm_precv
(281 to 500 sendrecv.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 311 function call with no prior declaration. CERT EXP37-C
M 311 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 318 function call with no prior declaration. CERT EXP37-C
M 320 function call with no prior declaration. CERT EXP37-C
M 320 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 325 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 326 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 327 function call with no prior declaration. CERT EXP37-C
M 327 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 394 Signed/unsigned conversion without cast. : unsigned int int psize CERT INT02-C,INT31-C,STR34-C
M 408 Signed/unsigned conversion without cast. : unsigned int int pages CERT INT02-C,INT31-C,STR34-C
M 408 Signed/unsigned conversion without cast. : unsigned int int pages > maxpages CERT INT02-C,INT31-C,STR34-C
M 409 function call with no prior declaration. CERT EXP37-C
M 409 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 425 function call with no prior declaration. CERT EXP37-C
M 425 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 425 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 441 function call with no prior declaration. CERT EXP37-C
M 441 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 449 function call with no prior declaration. CERT EXP37-C
M 449 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 451 function call with no prior declaration. CERT EXP37-C
M 451 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 458 function call with no prior declaration. CERT EXP37-C
M 458 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 459 Signed/unsigned conversion without cast. : unsigned int int stime CERT INT02-C,INT31-C,STR34-C
M 481 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 481 Array index not unsigned. CERT ARR30-C
M 481 Value is not of appropriate type. : unsigned int int ( char * ) cp , ( char * ) ( msgblocks [ msg_info.seg CERT INT01-C,INT02-C,INT07-C
M 491 function call with no prior declaration. CERT EXP37-C
M 491 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 491 Array index not unsigned. CERT ARR30-C
M 491 Value is not of appropriate type. : unsigned int int freeblock ( blocks [ msg_info.seg CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





shm_attach
(504 to 679 sendrecv.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 526 function call with no prior declaration. CERT EXP37-C
M 526 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 527 Value is not of appropriate type. : bool unsigned shortlocalid = ( mytid CERT INT01-C,INT02-C,INT07-C
M 527 Signed/unsigned conversion without cast. : int unsigned shortlocalid = ( mytid & 0x0000FFFF CERT INT02-C,INT31-C,STR34-C
M 532 function call with no prior declaration. CERT EXP37-C
M 532 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 533 function call with no prior declaration. CERT EXP37-C
M 533 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 534 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 535 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 538 function call with no prior declaration. CERT EXP37-C
M 538 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 539 function call with no prior declaration. CERT EXP37-C
M 539 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 540 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 543 function call with no prior declaration. CERT EXP37-C
M 543 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 544 function call with no prior declaration. CERT EXP37-C
M 544 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 545 function call with no prior declaration. CERT EXP37-C
M 545 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 548 function call with no prior declaration. CERT EXP37-C
M 548 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 549 function call with no prior declaration. CERT EXP37-C
M 549 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 550 function call with no prior declaration. CERT EXP37-C
M 550 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 559 function call with no prior declaration. CERT EXP37-C
M 559 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 564 function call with no prior declaration. CERT EXP37-C
M 564 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 574 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 580 function call with no prior declaration. CERT EXP37-C
M 580 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 583 Value is not of appropriate type. : bool signed char ptr != ( void * ) CERT INT01-C,INT02-C,INT07-C
M 589 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 594 Value is not of appropriate type. : char segs [ 0 ] = ( char * CERT INT01-C,INT02-C,INT07-C
M 594 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 595 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 596 function call with no prior declaration. CERT EXP37-C
M 596 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 604 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 611 Modification of string literal. CERT STR05-C,STR30-C
M 613 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 617 Array index not unsigned. CERT ARR30-C
M 617 Value is not of appropriate type. : unsigned int int blocks [ i CERT INT01-C,INT02-C,INT07-C
M 623 Modification of string literal. CERT STR05-C,STR30-C
M 623 Array index not unsigned. CERT ARR30-C
M 623 Value is not of appropriate type. : unsigned int int segs [ i CERT INT01-C,INT02-C,INT07-C
M 623 function call with no prior declaration. CERT EXP37-C

Code Line Violation Standard
M 623 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 625 Array index not unsigned. CERT ARR30-C
M 625 Value is not of appropriate type. : unsigned int int segs [ i CERT INT01-C,INT02-C,INT07-C
M 625 Value is not of appropriate type. : bool signed char segs [ i ] == ( void * ) CERT INT01-C,INT02-C,INT07-C
M 626 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 634 Modification of string literal. CERT STR05-C,STR30-C
M 634 Array index not unsigned. CERT ARR30-C
M 634 Value is not of appropriate type. : unsigned int int msgblocks [ i CERT INT01-C,INT02-C,INT07-C
M 634 Value is not of appropriate type. : unsigned int int msgblocks [ i ] = segs [ i CERT INT01-C,INT02-C,INT07-C
M 635 Modification of string literal. CERT STR05-C,STR30-C
M 635 Array index not unsigned. CERT ARR30-C
M 635 Value is not of appropriate type. : unsigned int int cptr = ( char * ) blocks [ i CERT INT01-C,INT02-C,INT07-C
M 635 Value is not of appropriate type. : unsigned int int cptr = ( char * ) blocks [ i ] + blocks [ i CERT INT01-C,INT02-C,INT07-C
M 636 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 656 Array index not unsigned. CERT ARR30-C
M 656 Value is not of appropriate type. : unsigned int int blocks [ i CERT INT01-C,INT02-C,INT07-C
M 656 Array index not unsigned. CERT ARR30-C
M 656 Value is not of appropriate type. : unsigned int int maxpages = blocks [ i CERT INT01-C,INT02-C,INT07-C
M 660 Type conversion without cast. : int bool mymqueue = find_tidinfo_id ( syshdr , CERT INT02-C,INT31-C
M 677 Value is not of appropriate type. : bool unsigned char shm_enabled = 1 CERT INT01-C,INT02-C,INT07-C
M 660 Actual and formal parameters inconsistent (MR). CERT EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





init_tidinfo
(14 to 81 tidinfo.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 25 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 29 Signed/unsigned conversion without cast. : int unsigned int m = headersize CERT INT02-C,INT31-C,STR34-C
M 37 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 38 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 39 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 41 Signed/unsigned conversion without cast. : unsigned int int hdrptr -> maxtids = n CERT INT02-C,INT31-C,STR34-C
M 43 Signed/unsigned conversion without cast. : unsigned int int hdrptr -> freeslots = n CERT INT02-C,INT31-C,STR34-C
M 50 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 51 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 55 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 58 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 59 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 69 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 70 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 70 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 71 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 71 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 71 Array index not unsigned. CERT ARR30-C
M 71 Value is not of appropriate type. : unsigned int int printf ( "End of tidinfo[%d] at [0x%lx]\n" , n - 1 , ( long ) & tptr0 [ n - 1 CERT INT01-C,INT02-C,INT07-C
M 73 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





add_tidinfo
(84 to 154 tidinfo.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 94 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 95 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 100 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 101 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 106 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 107 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 118 Array index not unsigned. CERT ARR30-C
M 118 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 119 Array index not unsigned. CERT ARR30-C
M 119 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 120 Array index not unsigned. CERT ARR30-C
M 120 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 121 Array index not unsigned. CERT ARR30-C
M 121 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 135 Array index not unsigned. CERT ARR30-C
M 135 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 136 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 137 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 149 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 150 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





remove_tidinfo
(157 to 216 tidinfo.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 166 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 167 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 172 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 173 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 178 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 179 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 190 Array index not unsigned. CERT ARR30-C
M 190 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 191 Array index not unsigned. CERT ARR30-C
M 191 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 192 Array index not unsigned. CERT ARR30-C
M 192 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 193 Array index not unsigned. CERT ARR30-C
M 193 Value is not of appropriate type. : unsigned int int tidinfoptr [ slot CERT INT01-C,INT02-C,INT07-C
M 211 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 212 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]





find_tidinfo_id
(218 to 267 tidinfo.c) - FAIL

Standards Violation Summary

Code Line Violation Standard
M 232 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 233 Procedure call has no prototype and no defn. CERT DCL07-C,EXP37-C
M 237 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 239 Casting operation on a pointer. CERT EXP11-C,EXP36-C,INT11-C
M 253 Array index not unsigned. CERT ARR30-C
M 253 Value is not of appropriate type. : unsigned int int tptr [ slot CERT INT01-C,INT02-C,INT07-C
M 254 Array index not unsigned. CERT ARR30-C
M 254 Value is not of appropriate type. : unsigned int int ( tptr [ slot CERT INT01-C,INT02-C,INT07-C


[ Top of Report | Key to Terms | Procedure Table | Contents ]




Key to Terms


Standards violations for procedures are printed in tables with code markers as follows:


Code (Line) Violation Standard
M (Source line number) [Text of Mandatory standard] [Appropriate rule reference]
C   [Text of Checking standard]  
O   [Text of Optional standard]  
[Source: Text of line from Source file]


                         Checking standards are considered mandatory but individual instances may be overridden by adding annotations to the source code
                         Optional standards provide additional quality criteria but may be violated

                         For some standards violations, additional information is provided in results tables
                         Note that source lines do not show macro expansions

                         "Off" in Summary tables indicates that a standard is switched off in the pen.dat file
                         "MR" in Summary tables indicates a MISRA Restricted standard which cannot be checked without the MISRA licence option.


A summary is given of the pass/fail result of each program component as follows:


Components which pass all standards are marked: Pass
Components which fail only Optional standards are marked: Conditional Pass
Components which fail on insufficient comments only are marked: Comment FAIL
Components which violate Mandatory standards are marked: FAIL



Procedure Results table breakdown (Example Only)


Unique Violations    
     
65 - 150
35 - 39 -



                         The Violation density for a function is the number of violations per reformatted line, expressed as a percentage.
                         It is an indication of code quality.

                         Functions with a high violation density are likely to be smaller functions with a large number of violations.

                         Lower density may indicate larger functions with fewer violations.

                                        (nViols / nRefLines) x 100

                         where:

                                        nViols = number of standard violations in a function.

                         and:

                                        nRefLines = number of reformatted lines in a function.

                         The unique standards failure ratio is an indication of variety of standards violations in a module.

                         Thus a function containing one instance of several different standards will have a high ratio,
                         while a function that has violated only one standards will have a low ratio.

[ Top of Report | Procedure Table | Contents ]


End of Code Review Report

Copyright © 2009 Liverpool Data Research Associates